Philip the trapped swan in of human bondage

Maugham’s Of Human Bondage devotes to the quest of Philip for the freedom from the bondage of physical deformity and spiritual isolation. He is a swan trapped in his inner world and nature

Program Tailoring: Slicing by Sequential Criteria

Protocol and typestate analyses often report some sequences of statements ending at a program point P that needs to be scrutinized, since P may be erroneous or imprecisely analyzed. Program slicing focuses only on the behavior at P by computing a slice of the program affecting the values at P. In this paper, we propose to restrict our attention to the subset of that behavior at P affected by one or several statement sequences, called a sequential criterion (SC). By leveraging the ordering information in a SC, e.g., the temporal order in a few valid/invalid API method invocation sequences, we introduce a new technique, program tailoring, to compute a tailored program that comprises the statements in all possible execution paths passing through at least one sequence in SC in the given order. With a prototyping implementation, Tailor, we show why tailoring is practically useful by conducting two case studies on seven large real-world Java applications. For program debugging and understanding, Tailor can complement program slicing by removing SC-irrelevant statements. For program analysis, Tailor can enable a pointer analysis, which is unscalable to a program, to perform a more focused and therefore potentially scalable analysis to its specific parts containing hard language features such as reflection

Improved SNR to detect the unknown characteristic frequency by SR

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/166241/1/smt2bf00608.pd

Multiobjective Quantum Evolutionary Algorithm for the Vehicle Routing Problem with Customer Satisfaction

The multiobjective vehicle routing problem considering customer satisfaction (MVRPCS) involves the distribution of orders from several depots to a set of customers over a time window. This paper presents a self-adaptive grid multi-objective quantum evolutionary algorithm (MOQEA) for the MVRPCS, which takes into account customer satisfaction as well as travel costs. The degree of customer satisfaction is represented by proposing an improved fuzzy due-time window, and the optimization problem is modeled as a mixed integer linear program. In the MOQEA, nondominated solution set is constructed by the Challenge Cup rules. Moreover, an adaptive grid is designed to achieve the diversity of solution sets; that is, the number of grids in each generation is not fixed but is automatically adjusted based on the distribution of the current generation of nondominated solution set. In the study, the MOQEA is evaluated by applying it to classical benchmark problems. Results of numerical simulation and comparison show that the established model is valid and the MOQEA is effective for MVRPCS

Realising the decomposition of a multi‐frequency signal under the coloured noise background by the adaptive stochastic resonance in the non‐linear system with periodic potential

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/163832/1/sil2bf00663.pd

Regulation of Irregular Neuronal Firing by Autaptic Transmission

The importance of self-feedback autaptic transmission in modulating spike-time irregularity is still poorly understood. By using a biophysical model that incorporates autaptic coupling, we here show that self-innervation of neurons participates in the modulation of irregular neuronal firing, primarily by regulating the occurrence frequency of burst firing. In particular, we find that both excitatory and electrical autapses increase the occurrence of burst firing, thus reducing neuronal firing regularity. In contrast, inhibitory autapses suppress burst firing and therefore tend to improve the regularity of neuronal firing. Importantly, we show that these findings are independent of the firing properties of individual neurons, and as such can be observed for neurons operating in different modes. Our results provide an insightful mechanistic understanding of how different types of autapses shape irregular firing at the single-neuron level, and they highlight the functional importance of autaptic self-innervation in taming and modulating neurodynamics.Comment: 27 pages, 8 figure

Parkinson Disease-Associated Mutation R1441H in LRRK2 Prolongs the “Active State” of its GTPase Domain

Mutation in leucine-rich-repeat kinase 2 (LRRK2) is a common cause of Parkinson disease (PD). A disease-causing point mutation R1441H/G/C in the GTPase domain of LRRK2 leads to overactivation of its kinase domain. However, the mechanism by which this mutation alters the normal function of its GTPase domain [Ras of complex proteins (Roc)] remains unclear. Here, we report the effects of R1441H mutation (RocR1441H) on the structure and activity of Roc. We show that Roc forms a stable monomeric conformation in solution that is catalytically active, thus demonstrating that LRRK2 is a bona fide self-contained GTPase. We further show that the R1441H mutation causes a twofold reduction in GTPase activity without affecting the structure, thermal stability, and GDP-binding affinity of Roc. However, the mutation causes a twofold increase in GTP-binding affinity of Roc, thus suggesting that the PD-causing mutation R1441H traps Roc in a more persistently activated state by increasing its affinity for GTP and, at the same time, compromising its GTP hydrolysis